(DEFPROP ARITH
 (LAMBDA NIL
  (GETSYM SUBR LSQRT LOG LOG10 LSIN LCOS LSIND LCOSD LACOS LASIN LATAN LSINH
	  LCOSH LTANH LEXP LFLOAT RANDOM)
  (MAPC (FUNCTION (LAMBDA (X)
		   (PROG NIL
			 (PUTPROP (CAR X) (GET (CDR X) @SUBR) @SUBR)
			 (REMPROP (CDR X) @SUBR))))
	@((SQRT . LSQRT)
	  (SIN . LSIN)
	  (COS . LCOS)
	  (SIND . LSIND)
	  (COSD . LCOSD)
	  (ACOS . LACOS)
	  (ASIN . LASIN)
	  (ATAN . LATAN)
	  (SINH . LSINH)
	  (COSH . LCOSH)
	  (TANH . LTANH)
	  (EXP . LEXP)
	  (FLOAT . LFLOAT))))
 EXPR)